Computer Science and Engineering - PDFSEARCH.IO - Document Search Engine

Computer Science and Engineering
Results: 6228

#	Item
661	Quick Guide to EECS Majors The Electrical Engineering and Computer Science Department offers three majors: Computer Science (CS), Computer Engineering (CE) and Electrical Engineering (EE). Read on to learn more and see w Add to Reading List Source URL: www.cse.umich.edu Language: English - Date: 2015-01-16 14:11:18 Engineering Electromagnetism Electronic engineering Electrical engineering Computer engineering Computer science EECS Computing Software engineer Computer Software
662	ReMAM: Low Energy Resistive Multi-Stage Associative Memory for Energy Efficient Computing Mohsen Imani, Pietro Mercati, Tajana Rosing Computer Science and Engineering Department University of California San Diego, La Jol Add to Reading List Source URL: moimani.weebly.com Language: English - Date: 2016-06-01 21:15:14 Computing Emerging technologies Computer memory Computer networking Content-addressable memory Parallel computing General-purpose computing on graphics processing units Memristor Memory Stream processing
663	Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/ Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:07 Theoretical computer science Mathematics Software engineering Coinduction Bisimulation Robin Milner Type theory Simulation preorder
664	Microsoft Word - usable-verificationdocx Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-23 23:32:14 Software engineering Software quality Formal methods Quality Theoretical computer science Logic in computer science Software testing Food safety Verification and validation Reliability engineering Software verification Runtime verification
665	Energy Efficient Design of Portable Wireless Systems Tajana Simunic Haris Vikalo Peter Glynny Giovanni De Micheli y Management Science and Information Systems Computer Systems Engineering Department Add to Reading List Source URL: seelab.ucsd.edu Language: English - Date: 2012-06-04 16:50:20 Local area networks IEEE 802.11 Power control Doze Computing Wireless
666	CALL for PAPERS The 2nd International Conference on Computer Vision & Image Processing (CVIPand Workshop on Multimedia (WMwill be organised by Department of Computer Science and Engineering of Indian Insti Add to Reading List Source URL: www.iitr.ac.in Language: English - Date: 2016-06-23 06:14:49 Education in Uttarakhand Uttarakhand Education in India Indian Institute of Technology Kharagpur Kharagpur Indian Institute of Technology Roorkee Indian Institute of Technology Bhubaneswar Roorkee
667	Methods for Exploring and Mining Tables on Wikipedia Chandra Sekhar Bhagavatula, Thanapon Noraset, Doug Downey Department of Electrical Engineering & Computer Science Northwestern University Add to Reading List Source URL: poloclub.gatech.edu Language: English - Date: 2013-08-19 14:38:11 Computing Semantic Web Web standards World Wide Web Consortium Resource Description Framework Knowledge representation Web Ontology Language RDF Schema Electric energy consumption Datasource
668	Automating Inductive Proofs using Theory Exploration Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,moa.johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-17 07:49:01 Mathematics Logic Mathematical logic Automated theorem proving Mathematical proofs Logic in computer science Statements Graph theory Structural induction Rippling ACL2 Lemma
669	CURRENT TRANSMISSIONS Electrical and Computer Engineering \| Missouri S&T \| Spring 2016 HELLO, HORIZON page 8 Add to Reading List Source URL: ece.mst.edu Language: English - Date: 2016-05-17 09:57:12 Engineering Institute of Electrical and Electronics Engineers Piscataway New Jersey Electrical engineering Electromagnetism Mohammad Shahidehpour Columbia School of Engineering and Applied Science
670	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-12-29 13:37:29 Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics

UPDATE